منابع مشابه
Stochastic Analysis of Gsb Process
We present a modification (and partly a generalization) of STOPBREAK process, which is the stochastic model of time series with permanent, emphatic fluctuations. The threshold regime of the process is obtained by using, so called, noise indicator. Now, the model, named the General SplitBREAK (GSB) process, is investigated in terms of its basic stochastic properties. We analyze some necessary an...
متن کاملStatic Analysis of Stochastic Process Algebras
2 Summary The Performance Evaluation Process Algebra, PEPA, is introduced by Jane Hillston as a stochastic process algebra for modelling distributed systems and especially suitable for performance evaluation. A range of tools has already been developed that apply this algebra to various application areas for different purposes. In this thesis, we present a static analysis more precisely approxi...
متن کاملScalable Analysis of Stochastic Process Algebra Models
The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic ...
متن کاملconsequence analysis of the leakage, ignition and explosion during high pressure sour gas injection process to the oil reservoir
there is no doubt that human being needs to become integrated with industry and industry needs to be progressed, daily. on the other hand, serious events in industrial units specially in oil industries has been shown that such damages and events are industry related ones. the consequence of such events and damages which resulted in chemical and poisoned explosions and loss of life and property ...
Assembly Code Analysis Using Stochastic Process Algebra
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In this paper, we propose a strategy which allows us the analysis and the choice of the best optimisation, by focusing on the hot part of an assembly code. In our approach, for each optimisation applied, the code of the ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2014
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim1409149s